منابع مشابه
Comonoids in chu: a large cartesian closed sibling of topological spaces
ComK may be defined as the (cartesian closed) category of comonoids in chuK , or equivalently as dictionaries D for which any crossword over D has its main diagonal in D. Com2 resembles Top, ordinary topological spaces. Common to both are the Alexandroff posets and the Scott DCPOs, while the topological space R and the dual DCPO {−∞ < . . . < −2 < −1 < 0} jointly witness the incomparability of ...
متن کاملJeannette Bigler , Chu
A method is presented for the analysis of fluorescently labeled random amplified polymorphic DNA (FRAPD) fragments. A DNA sequencer and collection and analysis software were used to estimate the sizes of DNA fragments based on their mobilities relative to in-lane size markers. This allowed confident identification and comparison of FRAPD markers both within and between polyacrylamide gels. In c...
متن کاملThe Chu Construction
We take another look at the Chu construction and show how to simplify it by looking at it as a module category in a trivial Chu category This simpli es the construction substantially especially in the case of a non symmetric biclosed monoidal category We also show that if the original category is accessible then for any of a large class of polynomial like functors the category of coalgebras has...
متن کاملCRL-Chu Correspondences
We continue our study of the general notion of L-Chu correspondence by introducing the category CRL-ChuCors incorporating residuation to the underlying complete lattice L, specifically, on the basis of a residuation-preserving isotone Galois connection λ. Then, the L-bonds are generalized within this same framework, and its structure is related to that of the extent of a suitably defined λ-dire...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80644-3